Timber: A Programming Language for Real-Time Embedded Systems
نویسندگان
چکیده
May of the features of Timber have been adopted from the reactive object-oriented concurrent functional language O’Haskell [15], which was in turn defined as an extension to the purely functional language Haskell [12]. However, the Haskellian ancestry of Timber should not cause it to be ignored by the wider (non-functional) programming language community. Indeed, Timber attempts to combine the best features of three different programming paradigms.
منابع مشابه
Embedded Real-Time Software using TinyTimber - Reactive Objects in C
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manifest in the high-level programming and systems modeling language Timber. In this licensiate thesis we demonstrate how the Timber semantics for parallel reactive objects translates to embedded real-time programming in C. ...
متن کاملTimber as an RTOS for Small Embedded Devices
Software development for small, real-time and resource constrained, embedded systems is becoming increasingly complex. To be able to guarantee robustness and reliability, the underlying infrastructure should not be based upon ad hoc solutions. In this paper we identify three key features of a minimalistic Real-Time Operating System (RTOS), and presents the run-time system of Timber, a reactive ...
متن کاملComposed, and in Control: Programming the Timber Robot
This paper describes the implementation of control algorithms for a mobile robot vehicle using the programming language Timber, which offers a high-level, declarative approach to key aspects of embedded systems development such as real-time control, event handling, and concurrency. In particular, we show how Timber supports an elegant, compositional approach to program construction and reuse— f...
متن کاملTime for Timber Per
Embedded systems are often operating under hard real-time constraints, while at the same time being constrained by severe restrictions on power consumption. For such systems, robustness and reliability can be a question of life and death, which calls for rigorous system design and methodologies for validation. In this paper we advocate a design methodology for low-power, real-time systems, base...
متن کاملSimultaneous production planning and scheduling in a hybrid flow shop with time periods and work shifts
Simultaneous production planning and scheduling has been identified as one of the most important factors that affect the efficient implementation of planning and scheduling operations for the production systems. In this paper, simultaneous production planning and scheduling is applied in a hybrid flow shop environment, which has numerous applications in real industrial settings. In this problem...
متن کامل